Philips AJB4500 Radiowecker Handbücher, Guides von Benutzern und andere Dokumente